Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
761	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
762	Review of the Integrated Conditional Moment Test and Its Implementation in EasyReg International Herman J. Bierens Pennsylvania State University April 21, 2006 Add to Reading List Source URL: econ.la.psu.edu Language: English - Date: 2006-04-21 09:07:37 Spectral theory of ordinary differential equations Symbol Xi Operator theory Quantum field theory
763	Policy Development, Implementation and Publication Implementation Standard Add to Reading List Source URL: www.health.qld.gov.au Language: English - Date: 2013-08-09 03:32:23 American Registry for Internet Numbers United States Environmental Protection Agency Politics Decision theory Government Policy
764	An Implementation of Orrick's Algorithm Add to Reading List Source URL: www.loria.fr Language: English - Date: 2010-05-15 03:45:46 Matrices Numerical linear algebra Matrix theory Matrix Positive-definite matrix Symmetric matrix Determinant Algebra Linear algebra Mathematics
765	Binary-level Software Analysis Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2014-04-15 04:03:39 Procedural programming languages Programming language implementation Type theory Data types C Cross-platform software Type system Semantics ALGOL 68 Software engineering Computing Programming language theory
766	Efficient implementation of the Hardy-Ramanujan-Rademacher formula or: Partitions in the quintillions Fredrik Johansson RISC-Linz Add to Reading List Source URL: fredrikj.net Language: English - Date: 2013-07-11 14:08:30 Combinatorics Pi Number theorists Factorial Srinivasa Ramanujan Approximations of π Partition FO Mathematics Integer sequences Number theory
767	CASM Simulator Synthesis & Model Verification of the MIPS I architecture Specification Implementation Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2013-02-01 06:50:41 Hazard Central processing unit Instructions per second ALGOL 68 Software engineering Computing Programming language theory MIPS architecture
768	PDF Document Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 2001-02-21 13:16:46 Lisp programming language Functional languages Association for Computing Machinery Programming Language Design and Implementation SIGPLAN Lisp Guy L. Steele Jr. Programming language International Conference on Functional Programming Software engineering Computing Programming language theory
769	EMC and PLC Training Implementation SUggestions and Guidelines Add to Reading List Source URL: www.industrialtext.com Language: English - Date: 2014-03-04 09:08:57 Systems theory Control engineering Programmable logic controller Control system Instrumentation Technology Automation Engineering
770	Foundational Math I – Segment 1 Michael L. Carroll Feb 17, 2003 Add to Reading List Source URL: www.csz.com Language: English - Date: 2002-12-14 09:24:51 Equivalence relation Binary relation Function Finitary relation Implementation of mathematics in set theory Trichotomy Mathematics Mathematical logic Order theory

UPDATE